An Error Analysi S of Gaussian El Imination
نویسنده
چکیده
ese notes were copied from Gene Golub’s CME 302 Matrix Computations class while David was a student at Stanford. WarningWe will adopt slightly non-standard notation. e quantity ∆ is a matrix, as are any symbols prexed with δ, such as δL or δU . Upper tildes, like L̃ will denote quantities represented on the computer. Our goal is to show that Gaussian Elimination is a backwards stable algorithm. If we show that Gaussian elimination is backwards stable, then we will show that we can compute x̃ such that (A+ ∆)x̃ = b. In words, we compute the solution to a perturbed system where the perturbation is the matrix ∆. If so, then, if Ax = b, we have:1 1 It’s a good exercise to stitch this bound togeter from x̃ + A−1∆x̃ = x. ∥x − x̃∥ ∥x∥ ≤ ρκ(A) 1 − ρκ(A) where ρ = ∥∆∥/∥A∥. us, if we can show that ∥∆∥ is small, we will have a nice bound on the error of the solution.
منابع مشابه
Modified signed log-likelihood test for the coefficient of variation of an inverse Gaussian population
In this paper, we consider the problem of two sided hypothesis testing for the parameter of coefficient of variation of an inverse Gaussian population. An approach used here is the modified signed log-likelihood ratio (MSLR) method which is the modification of traditional signed log-likelihood ratio test. Previous works show that this proposed method has third-order accuracy whereas the traditi...
متن کاملBit Error Performance for Asynchronous Ds Cdma Systems Over Multipath Rayleigh Fading Channels (RESEARCH NOTE)
In recent years, there has been considerable interest in the use of CDMA in mobile communications. Bit error rate is one of the most important parameters in the evaluation of CDMA systems. In this paper, we develop a technique to find an accurate approximation to the probability of bit error for asynchronous direct–sequence code division multiple–access (DS/CDMA) systems by modeling the multipl...
متن کاملStudy of lone pair description in molecules by the modified delocalized floating spherical Gaussian orbital method.
This research has been carried out to study and find a rather general description for a lone pairorbital in molecules. Since the orbital parameters must be manageable in advance, and correctgeometry of the molecule (bond lengths) is depend on the appropriate lone pair description; theFSGO method including optimization has been used to obtain orbital parameters and energy. Theproposed models for...
متن کاملOn the Relation of Resolution and Tableaux Proof Systems for Description Logics
This paper investigates the relationship between resolution and tableaux proof system for the satisfiability of general knowledge bases in the description logic We show that resolut ion proof systems can polynornially simulate their tableaux counterpart. Our resolution proof system is based on a selection refinement and utilises standard redundancy el imination criteria to ensure terminat ion.
متن کاملLogic Programming with General Clauses and Defaults Based on Model Elimination
The foundations of a class of logic programming systems wi th the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation method is an extended version of weak model el imination. The first ques t ion addressed is how to compute answers with weak model el iminat ion when queries and programs are sets of arbitrary clauses, which is comple...
متن کامل